Upper semi-continuous function

#incomplete